Dom0 can have slack time in sedf scheduler.

diff --git a/xen/common/sched_sedf.c b/xen/common/sched_sedf.c
index ab64af3a64bcaead40f3eea99d0c3fae960e60a6..36a89e78197b7958254ec8c23c708ef8ccc10d20 100644 (file)
--- a/xen/common/sched_sedf.c
+++ b/xen/common/sched_sedf.c
@@ -369,7 +369,7 @@ static void sedf_add_task(struct vcpu *d)
         inf->slice     = MILLISECS(15);
         inf->latency   = 0;
         inf->deadl_abs = 0;
-        inf->status     = EXTRA_NONE | SEDF_ASLEEP;/*EXTRA_AWARE; */
+        inf->status     = EXTRA_AWARE | SEDF_ASLEEP;
     } else {
         /*other domains run in best effort mode*/
         inf->period    = WEIGHT_PERIOD;